$\forall$${\it the\_es}$:ES, $m$:Msg. mval($m$) $\in$ msgtype($m$)